<?php
$db_host = "mysql13.000webhost.com";
$db_user = "a6956586_treno";
$db_password = "Ulisse77";
$db_database = "a6956586_treno";
$db_tabella = "infoStazione";

$connessione = mysql_connect($db_host,$db_user,$db_password);
if (!mysql_select_db($db_database, $connessione )) {
    echo 'Could not select database';
    exit;
}
$result = mysql_query("select stazione from infoStazione",$connessione);
if (!$result) {
    echo "DB Error, could not query the database\n";
    echo 'MySQL Error: ' . mysql_error();
    exit;
}
$staz=array();
while ($row = mysql_fetch_assoc($result)) {
    array_push($staz,$row['stazione']);
}
echo json_encode($staz);
mysql_close($connessione);
?>